大西琢朗 - 様相論理の完全性定理（及びその他論理への応用）(外部記事)
#大西琢朗
https://app.box.com/s/261idj2pxe643oyqstmvsdq7v6lyktly
https://twitter.com/takuro_onishi/status/1240246210159456257
https://www.youtube.com/watch?v=CGjikv5m6Ys
https://www.youtube.com/watch?v=bRE0L08kh6I
#外部記事
正規様相論理の完全性定理